“충돌 방지 코드”으로 총 1건 검색

• 충돌 방지 코드, 衝突防止-, Crash-Proof Code

  정형 기법을 소프트웨어 검증에 적용하여 안전을 개선하는 기술. 항공기나 의료 장비 같은 안전이 중요한 부문에서 소프트웨어 오류에 따른 참사나 위험을 예방하는 데 꼭 필요한 기술이다. 소프트웨어 검증을 위해 정형기법을 주로 도입하고 있다.